redundant axiom

冗余公理, 多余公理

热门查询

preloaded　　adj. 预装入的 v. 预先加料；[计] 预装入（preload的过去式和过去分词）
blastocyst　　n. 囊胚；胚包
Hindley　　欣德利（姓氏）
Monica　　n. 机尾警戒雷达
toymaker　　玩具制造者
incompetent　　n. 无能力者 adj. 无能力的，不胜任的；不合适的；不适当的；无力的
perceive　　vt. 察觉，感觉；理解；认知 vi. 感到，感知；认识到
peaceably　　adv. 和平地；温和地
Catalonian　　n. 加泰罗尼亚；加泰罗尼亚人；加泰罗尼亚语 adj. 加泰罗尼亚的
mononucleosis　　n. 单核细胞增多症；单核白血球增多症
animus　　n. 敌意；意图；基本态度；女性的男性意向
spooked　　惊吓（非正式，spooked是spook的过去式）使惊慌（非正式，spooked是spook的过去式、过去分词）有鬼魂出没（spooked是spook的过去式、过去分词）阴森音效制作（软件名，Spooked）
Vila　　维拉港（西南太平洋岛国瓦努阿图首都）
enervated　　adj. 衰弱的，无力的 v. 使衰弱（enervate的过去分词）
husky　　adj. 声音沙哑的；有壳的；强壮的 n. 强壮结实之人；爱斯基摩人
compulsion　　n. 强制；强迫；强制力
infinite　　n. 无限；[数] 无穷大；无限的东西（如空间，时间） adj. 无限的，无穷的；无数的；极大的
GEC　　abbr. gecartonneerd (Dutch=bound in boards) （荷兰语）用厚纸皮装订的
outspend　　vt. 开支比…更大
Eurasian　　n. 欧亚混血儿 adj. 欧亚的；欧亚人的